СИНТАКСИС ЛОГІЧНИЙ

СИНТАКСИС ЛОГІЧНИЙ - розділ теоретичної логіки, що вивчає об'єктні логічні теорії: логіку висловлювань і логіку предикатів, різні формалізовані мови тощо як знакові формальні системи. С. л. формулює правила оперування символами та побудованими з них виразами; правила добору символів та створення алфавіту формальної системи; правила поєднання символів між собою і створення формул, виділення множини правильно побудованих формул; правила упорядкування формул і побудови формальних систем шляхом виведення одних формул з інших, що подається у вигляді знакових перетворень над записами. Такі формальні системи часто називають логістичними системами. С. л. займається лише комбінаторними властивостями символів безвідносно до їхнього смислу С. мислова інтерпретація логістичних систем вивчається в логічній семантиці Л. огістичні системи виступають знаряддям перебудови змістових наукових теорій у математиці, мовознавстві, кібернетиці тощо при розв'язанні проблеми їх обґрунтування.

I ЛОГІЧНИЙ СИНТАКСИС - система визначень логічних систем як знакових та сукупність методів їх дослідження як специфічних об'єктів, по можливості абстрагуючись від змістовних (семантичних) відношень.

[br]

II див. синтаксис логічний

Карнап, Рудольф (1891, Ронсдорф - 1970) - нім.-амер. філософ і логік, один із провідних представників неопозитивізму Віденського гуртка, а потім логічного емпіризму в США. Зробив видатний внесок у розробку та вдосконалення таких розділів логіки та семіотики, як логічний синтаксис та логічна семантика. Віденський період творчості К. позначений осмисленням низки основоположних для його філософії принципів: 1) філософія - не теорія, а метод логічного аналізу понять і мови науки, наслідком застосування якого є уточнення понять і структури науки та виявлення беззмістовності "метафізичних", тобто філософсько-теоретичних висловлювань; 2) зведення (редукція) засобами сучасної логіки, мови висловлювань теоретичної складової науки до рівня мови емпіричних висловлювань; 3) емпірична верифікація, перевірка емпіричних висловлювань з метою виявлення, які з них є істинні, які хибні, які беззмістовні. К. трактує евристичну верифікацію як чуттєву верифікацію, тобто таку, в ході якої перевірці підлягають протокольні висловлювання, що їх зміст мислився як абсолютно чуттєво зумовлений. Усвідомивши неможливість реалізації принципу редукції та принципу верифікації в запропонованому ним варіанті (як верифікації протокольних висловлювань), К. переходить на позиції визнання самостійного статусу теоретичної складової науки, що в рамках гіпотетико-дедуктивної моделі структури науки постає як підлегла не безпосередньо чуттєвій, а опосередкованій емпіричній верифікації. Нові філософсько-методологічні позиції К. сформувались в основному в межах логічного емпіризму в СІНА, але зберегли, хоч і в пом'якшеному вигляді, "антиметафізичну" неопозитивістську настанову періоду Віденського гуртка.

[br]

Осн. тв.: "Логічна будова світу" (1928); "Псевдопроблеми у філософії" (1928); "Єдність науки" (1932); "Логічний синтаксис мови" (1934); "Вступ до семантики" (1942); "Логічні засади ймовірності" (1950).